Conversion between float and IEEE in C, for machines that don't support the latter.
